0 v 1 [ cs . P L ] 1 5 N ov 2 00 1 Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio ∗
نویسندگان
چکیده
In this paper we give an overview of the current state of the graphical features provided by ILOG OPL Studio for debugging and performance tuning of OPL programs or external ILOG Solver based applications. This paper focuses on combining propagation and search information using the Search Tree view and the Propagation Spy. A new synthetic view is presented: the Christmas Tree, which combines the Search Tree view with statistics on the efficiency of the domain reduction and on the number of the propagation events triggered.
منابع مشابه
Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio
In this paper we give an overview of the current state of the graphical features provided by ILOG OPL Studio for debugging and performance tuning of OPL programs or external ILOG Solver based applications. This paper focuses on combining propagation and search information using the Search Tree view and the Propagation Spy. A new synthetic view is presented: the Christmas Tree, which combines th...
متن کاملar X iv : p hy si cs / 0 51 11 10 v 1 1 4 N ov 2 00 5 Dispersion managed mode - locking dynamics in a Ti : Sapphire laser Marco
We present what is to our knowledge the most complete 1-D numerical analysis of the evolution and the propagation dynamics of an ultrashort laser pulse in a Ti:Sapphire laser oscillator. This study confirms the dispersion managed model of mode-locking, and emphasizes the role of the Kerr nonlinearity in generating mode-locked spectra with a smooth and well− behaved spectral phase. A very good a...
متن کاملqc / 0 51 10 40 v 1 8 N ov 2 00 5 Canonical gauge - invariant variables for scalar perturbations in synchronous coordinates
Under an appropriate change of the perturbation variable LifshitzKhalatnikov propagation equations for the scalar perturbation reduce to d’Alembert equation. The change of variables is based on the Darboux transform.
متن کاملar X iv : g r - qc / 0 51 10 40 v 1 8 N ov 2 00 5 Canonical gauge - invariant variables for scalar perturbations in synchronous coordinates
Under an appropriate change of the perturbation variable LifshitzKhalatnikov propagation equations for the scalar perturbation reduce to d’Alembert equation. The change of variables is based on the Darboux transform.
متن کاملar X iv : a st ro - p h / 03 11 59 5 v 1 2 6 N ov 2 00 3 WHAT ARE S 0 ( 0 ) GALAXIES ?
Received ; accepted – 2 – ABSTRACT Among early-type galaxies with almost circular isophotes E0 and E1 galaxies are, at 99.3% significance, more luminous than face-on objects classified as S0 (0) and S(0) (1). This result supports the view that rotation and " diskiness " are more important in the outer regions of faint early-type galaxies than they are for more luminous galaxies of very early mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009